﻿% Dạng 4.2.4  có phải {con vật} thuộc lớp {thông tin về lớp}?


cau_hoi(lambda(X,TT)) --> tu_nghi_van1 , thong_tin(TT) , dau_hoi.

thong_tin(TL) --> doi_tuong_thong_tin1(DTTT), dong_tu, tu_lop(TL) , doi_tuong_thong_tin2(TT),tu_nghi_van2 ,{arg(1,TL,DTTT),arg(2,TL,TT)}.

tu_nghi_van1 --> [có,phải].

doi_tuong_thong_tin1(X) --> [X].

doi_tuong_thong_tin1(X) --> [con,X].

dong_tu --> [thuộc].

tu_lop(lớp(X,Y)) --> [lớp].

doi_tuong_thong_tin2(X) --> [X].

tu_nghi_van2 --> [không].

dau_hoi --> [?].